NECESSARY AND SUFFICIENT OPTIMALITY CONDITIONS FOR AVERAGE REWARD OF CONTROLLED MARKOV CHAINS = CONDITIONS D'OPTIMALITE NECESSAIRE ET SUFFISANTE POUR UN GAIN MOYEN DES CHAINES DE MARKOV COMMANDEESSLADKY K.1973; HYPERNETIKA; CESKOSL.; DA. 1973; VOL. 9; NO 2; PP. 124-137; BIBL. 6 REF.Serial Issue

Asymptotically optimal tests of hypotheses on the generator of a finite Markov processHORNIK, K.Journal of statistical planning and inference. 1989, Vol 23, Num 3, pp 345-352, issn 0378-3758, 8 p.Article

Axiomatizations for probabilistic finite-state behaviorsYUXIN DENG; PALAMIDESSI, Catuscia.Theoretical computer science. 2007, Vol 373, Num 1-2, pp 92-114, issn 0304-3975, 23 p.Article

Planes and processesJOHNSON, Norman L.Discrete mathematics. 2009, Vol 309, Num 2, pp 430-461, issn 0012-365X, 32 p.Conference Paper

On deciding some equivalences for concurrent processesHUYNH, D. T; LU TIAN.Informatique théorique et applications (Imprimé). 1994, Vol 28, Num 1, pp 51-71, issn 0988-3754Article

Nouveaux résultats sur les petites perturbations d'équations d'évolutions aléatoires = Small random perturbations of random evolution equationsIRENE RAJAONARISON, Lyliane; JOSEPH RABEHERIMANANA, Toussaint.Annales mathématiques Blaise Pascal. 2012, Vol 19, Num 1, pp 271-296, issn 1259-1734, 26 p.Article

On different generalizations of episturmian wordsBUCCI, Michelangelo; DE LUCA, Aldo; DE LUCA, Alessandro et al.Theoretical computer science. 2008, Vol 393, Num 1-3, pp 23-36, issn 0304-3975, 14 p.Article

Lifting non-finite axiomatizability results to extensions of process algebrasACETO, Luca; FOKKINK, Wan; INGOLFSDOTTIR, Anna et al.Acta informatica. 2010, Vol 47, Num 3, pp 147-177, issn 0001-5903, 31 p.Article

On stochastic calculus related to financial assets without semimartingalesCOVIELLO, Rosanna; DI GIROLAMI, Cristina; RUSSO, Francesco et al.Bulletin des sciences mathématiques (Paris. 1885). 2011, Vol 135, Num 6-7, pp 733-774, issn 0007-4497, 42 p.Conference Paper

On cool congruence formats for weak bisimulationsVAN GLABBEEK, R. J.Theoretical computer science. 2011, Vol 412, Num 28, pp 3283-3302, issn 0304-3975, 20 p.Article

On the complexity of checking semantic equivalences between pushdown processes and finite-state processesKUCERA, Antonín; MAYR, Richard.Information and computation (Print). 2010, Vol 208, Num 7, pp 772-796, issn 0890-5401, 25 p.Article

Metrics for weighted transition systems: Axiomatization and complexityLARSEN, Kim G; FAHRENBERG, Uli; THRANE, Claus et al.Theoretical computer science. 2011, Vol 412, Num 28, pp 3358-3369, issn 0304-3975, 12 p.Article

(Bi)simulations up-to characterise process semanticsDE FRUTOS ESCRIG, David; GREGORIO RODRIGUEZ, Carlos.Information and computation (Print). 2009, Vol 207, Num 2, pp 146-170, issn 0890-5401, 25 p.Article

Relaxation procedures on graphsWEGERT, Elias; REIHER, Christian.Discrete applied mathematics. 2009, Vol 157, Num 9, pp 2207-2216, issn 0166-218X, 10 p.Conference Paper

Verification of reactive systems via instantiation of Parameterised Boolean Equation SystemsPLOEGER, B; WESSELINK, J. W; WILLEMSE, T. A. C et al.Information and computation (Print). 2011, Vol 209, Num 4, pp 637-663, issn 0890-5401, 27 p.Article

On the convergence of implicit iteration process with error for a finite family of asymptotically nonexpansive mappingsCHANG, S. S; TAN, K. K; LEE, H. W. J et al.Journal of mathematical analysis and applications. 2006, Vol 313, Num 1, pp 273-283, issn 0022-247X, 11 p.Article

A theory of structural stationarity in the π-CalculusMEYER, Roland.Acta informatica. 2009, Vol 46, Num 2, pp 87-137, issn 0001-5903, 51 p.Article

Termination of nondeterministic quantum programsYANGJIA LI; NENGKUN YU; MINGSHENG YING et al.Acta informatica. 2014, Vol 51, Num 1, pp 1-24, issn 0001-5903, 24 p.Article

Hyperfinite stochastic integration for Levy processes with finite-variation jump partHERZBERG, Frederik S.Bulletin des sciences mathématiques (Paris. 1885). 2010, Vol 134, Num 4, pp 423-445, issn 0007-4497, 23 p.Article

Verification theorems for stochastic optimal control problems via a time dependent Fukushima-Dirichlet decompositionGOZZI, Fausto; RUSSO, Francesco.Stochastic processes and their applications. 2006, Vol 116, Num 11, pp 1530-1562, issn 0304-4149, 33 p.Article

HESSENBERG MATRIX PROPERTIES AND RITZ VECTORS IN THE FINITE-PRECISION LANCZOS TRIDIAGONALIZATION PROCESSPAIGE, Christopher C; PANAYOTOV, Ivo.SIAM journal on matrix analysis and applications. 2011, Vol 32, Num 4, pp 1079-1094, issn 0895-4798, 16 p.Article

Vortex theory approach to stochastic hydrodynamicsAMIRDJANOVA, Anna.Mathematical and computer modelling. 2007, Vol 45, Num 11-12, pp 1319-1341, issn 0895-7177, 23 p.Article